Vladimir Voevodsky - PDFSEARCH.IO - Document Search Engine

Vladimir Voevodsky
Results: 29

#	Item
11	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2015-07-04 05:55:41 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
12	A simple type system with two identity types Vladimir Voevodsky Started February 23, 2013. Work in progress. 1 Add to Reading List Source URL: uf-ias-2012.wikispaces.com Language: English - Date: 2013-02-26 09:58:30
13	87 La bifurcation de Vladimir Voevodsky. De la th´ eorie de l’homotopie ` a la th´ Add to Reading List Source URL: smf4.emath.fr Language: French - Date: 2014-10-17 09:03:44
14	Paul Bernays Lectures 2014 Prof. Dr. Vladimir Voevodsky Institute for Advanced Study, Princeton USA, Fields Medal (2002) Add to Reading List Source URL: www.gess.ethz.ch - Date: 2015-02-06 13:13:35
15	The Geometry of Algebraic Cycles Clay Mathematics Proceedings Volume 9 Add to Reading List Source URL: www2.maths.ox.ac.uk Language: English - Date: 2013-12-04 05:48:54 Conjectures Algebraic geometry Fields Medalists Homological algebra Nicolas Bourbaki Vladimir Voevodsky Motive Motivic cohomology Patrick Brosnan Abstract algebra Mathematics Algebra
16	Lecture Notes on Motivic Cohomology Clay Mathematics Monographs Volume 2 Add to Reading List Source URL: www2.maths.ox.ac.uk Language: English - Date: 2008-06-13 09:55:46 Algebraic geometry Homological algebra Cohomology theories Homology theory Motivic cohomology Motive Cohomology Alexander Beilinson Vladimir Voevodsky Abstract algebra Algebraic topology Algebra
17	Matthias Flach Department of Mathematics California Institute of Technology Pasadena CA 91125, USA Tel:([removed]e-mail: [removed] Add to Reading List Source URL: www.math.caltech.edu Language: English - Date: 2008-07-10 20:15:22 Vladimir Voevodsky California Institute of Technology Academia Los Angeles County California Morgan Ward Carlton M. Caves Year of birth missing Matthias Flach Mathematics
18	PDF Document Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English - Date: 2013-10-18 06:54:57 Software Functional languages Homotopy type theory Type theory Coq Homotopy Agda Vladimir Voevodsky Topology Homotopy theory Mathematics
19	Report Workshop on Algebraic K-theory 2004 October 2-6, 2004 Organizers: Eric Friedlander (Northwestern), Dan Grayson (Illinois, Urbana-Champaign), Rick Jardine (Western Ontario), Manfred Kolster (McMaster) The meeting Add to Reading List Source URL: www.crm.umontreal.ca Language: English - Date: 2005-07-27 10:08:50 Homological algebra Fields Medalists Algebraic geometry Conjectures Cohomology theories Vladimir Voevodsky Norm residue isomorphism theorem Motivic cohomology Cohomology Abstract algebra Mathematics Algebraic topology
20	p-adic motivic cohomology in arithmetic geometry Wieslawa Niziol Motivic cohomology • over fields: Add to Reading List Source URL: www.math.utah.edu Language: English - Date: 2006-09-13 19:08:24 Algebraic geometry Algebraic topology K-theory Motive Conjectures Vladimir Voevodsky Cohomology Milnor K-theory P-adic Hodge theory Abstract algebra Algebra Homological algebra

UPDATE